
# this is the name of the main maude module 
LANGUAGE_NAME = BEFUNGE

# this are all interesting modules (used to latexify)
LANGUAGE_MODULES = BEFUNGE

#this is the basename of the main file
MAIN_FILE = befunge

LATEX_STYLE = bb
LATEX_TOPMATTER = topmatter.tex

# this is a space-separated list of basename maude files to run
TESTS = test.m test-b93.m test-string.m quine.m befbef.m

TOOL_DIR =  $(K_BASE)/tools/
include $(TOOL_DIR)make-helper.mk
